$x$:$T$$\parallel$$a$ \textbf{is Primitive}